FLASH@0xFF000000 16M { BIOS { EC 4K FMAP 4K COREBOOT(CBFS) RW_MRC_CACHE 120K } }