Got kernel working, optimized bootloader