[coreboot] Patch merged into coreboot/master: f7add09 Don't use 64-bit constant 0x100000000 in linker scripts