Fix coreboot table size calculations.