[coreboot-gerrit] Patch merged into coreboot/master: 98e4d8a ARM: Update the size/location of the coreboot tables so we can boot again