More surgery, HEAD may not be compilable on-and-off today. I'm cleaning up the infrastructure and moving applicable files from vkernel/pc32 to cpu/i386. -Matt