Adding mips64 support to NetBSD

I'm starting (in actuality I'm being paid to start) an effort to add support for running 64-bit LP kernels on 64 bit MIPS processors.

And since I have this empty blog, I'd thought I write various ideas before I lose track of them.