Changed the return value in kernel_main()