Fix incorrect module size in kmain.