FLASH 16M { BIOS { EC 4K FMAP 4K COREBOOT(CBFS) RW_MRC_CACHE 256K } }