Move kernel load to 0x10000
Remove redef of some builtin types
Bochs support

Default run target is now bochs instead of qemu

Bug fixes for running on bochs