Что-нибудь этакое - документ за №316966-002

Дело в том, что человек этот (спец мой) прочитал кучу этих интеловских документов. И он говорит, что область возле 4 Гб резервируется под флеш память на всё время работы.

3.3 PCI Memory Address Range (TOLUD – 4GB)
This address range, from the top of low usable DRAM (TOLUD) to 4 GB is normally mapped to the DMI Interface.
........

Figure 3-4. PCI Memory Address Range

FFFF_FFFFh ----------- 4 GB
High BIOS
FFE0_0000h ----------- (4 GB – 2 MB)
..............

3.3.4 High BIOS Area
The top 2 MB (FFE0_0000h – FFFF_FFFFh) of the PCI Memory Address Range is reserved for System BIOS (High BIOS), extended BIOS for PCI devices, and the A20 alias of the system BIOS. The processor begins execution from the High BIOS after reset. This region is mapped to DMI Interface so that the upper subset of this region aliases to 16 MB – 256 KB range. The actual address space required for the BIOS is less than 2 MB but the minimum processor MTRR range for this region is 2 MB so that full 2 MB must be considered.

3.4.1 Memory Re-claim Background
The following are examples of Memory Mapped IO devices are typically located below 4 GB:
• High BIOS
• HSEG
• TSEG
• Graphics stolen
• XAPIC
• Local APIC
• FSB Interrupts
• Mbase/Mlimit
• Memory-mapped I/O space that supports only 32 B addressing
The (G)MCH provides the capability to re-claim the physical memory overlapped by the Memory Mapped IO logical address space. The (G)MCH re-maps physical memory from the Top of Low Memory (TOLUD) boundary up to the 4 GB boundary to an equivalent sized logical address range located just below the Intel ME's stolen memory.

3.4.2 Memory Reclaiming
An incoming address (referred to as a logical address) is checked to see if it falls in the memory re-map window. The bottom of the re-map window is defined by the value in the RECLAIMBASE register. The top of the re-map window is defined by the value in the RECLAIMLIMIT register. An address that falls within this window is reclaimed to the physical memory starting at the address defined by the TOLUD register. The TOLUD register must be 64 MB aligned when RECLAIM is enabled, but can be 1 MB aligned when reclaim is disabled.

чипсет определяет отображение памяти побайтно или областями

И можно ли мне доказать ему (специалисту), что BIOS там не есть точная копия реального bIOS?