mb/google/fatcat: config GPP_F23 as ISH gpio pin

[coreboot2.git] / src / mainboard / amd / mandolin / variants / cereme / board.fmd

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