Added Kernel entry point for x86