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