Added basic OS boot code and kernel_main()