some little meaningless reordering of kernel_main