Why does my W7x64 laptop show 4091Mb of RAM instead of 4096Mb?

The BIOS needs some memory for things like ACPI tables, power management, and so on.