SDCARD@0x000 32M {
    BIOS@0x0 109K {
        BOOTBLOCK@0x0 20K
    }

    PAYLOAD {
        FMAP 2K
        COREBOOT(CBFS) 31M
    }
}