Merci, avec ça je vais optimiser à mort

Sinon je viens de résoudre un mystère qui m'obnubilait depuis un moment.
Sur la carte-mère de mon frère, quand je mettais 2 barrettes de 2 Go de RAM (même type, même fabricant), les deux barrettes étaient bien détectées par le BIOS: 2048MB DDRII533 x 2.
Mais ça me mettait Total Memory = 3328MB
Et c'était dans le BIOS, donc que l'OS soit 32 ou 64-bit n'avait absolument aucune importance.
La carte graphique dédiée avait ses propres 512 Mo donc c'était pas ça.
Dans W10 dans le gestionnaire des tâches il est mis 4.0 Go en haut à droite mais l'utilisable ne portait que sur 3.2 Go.
Et puis j'ai vu en bas: "réservé système: 769 Mo". Tiens donc.
3328 Mo + 769 Mo = 4097 Mo, le compte y est (enfin un peu plus, mettons ça sur le compte des arrondis).
ça veut dire que cette carte-mère dès la première seconde de boot se réserve d'office près de 1/5e de la RAM rien que pour son fonctionnement.