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