Fixes. Uncommented part of `kernel_main()` works.