[coreboot-gerrit] New patch to review for coreboot: ed3d158 i945: Fix TSEG size allocation for get_top_of_ram()