FLASH@0xfe000000 0x2000000 {
	SI_BIOS@0x400000 {
		MEMORY_MAPPED@0xc00000 { /* 16MiB total */
			RW_MRC_CACHE 0x10000
			SMMSTORE 0x40000
			RO_VPD 0x4000
			FMAP 0x300
			COREBOOT(CBFS)
		}
	}
}