bfb6d245b5
comment immediately preceding it: We have to take the most significant "numbits" from the returned value "ph", and the rest from our addr. The addition used previously introduced a carry which was causing great difficulty in determining the correct PA of the framebuffer VA passed in by the booter.