Fix compat netbsd32 syscall return values display by calling
output_long() instead of printf().
Probe mcclock only on 425e to avoid an extra "not configured" message.
Do not use native off_t type under compat netbsd32, but a new
netbsd32_off_t that provide the expected alignment for 64bit types.
Regen for netbsd32_off_t.
Add and enable sti(4) at sgc in install kernels for 425e.

Tested on both serial console and framebuffer console.
(switched by the service switch on the back panel)
Annotate dependencies.
Most CPUs implement shifts modulo the width, but ARM doesn't. Don't
depend on this UB.
pmap_is_current might be unused, tag it as such.
acpica-20140424 out.
First argument of vchiq_log_info is the log level, not a boolean.