http://cgit.haiku-os.org/haiku/tree/src/system/boot/platform/u-boot/video.cpp#n87
Ah right, this was the old code for the Pi without U-Boot (we should delete
it, I think?).
Try this:
http://cgit.haiku-os.org/haiku/tree/src/system/boot/platform/u-boot/video.cpp