(1) fix printf formats. (2) Prefer FreeBSD's MIPS_PHYS_TO_KSEG0 to hand-rolled one from Cavium. (3) Mark a few 64-bit cleanliness issues (possible). (4) Minor formatting fixes.