coreboot-kgpe-d16/src/arch/i386/lib/failover.lds