[coreboot] [PATCH] i945: improve get_top_of_ram()