Fixed some run issues. Now, for some reason, after loading the kernel we jump to 0x1000 before the entry point.