i945: improve get_top_of_ram()