Kernel loading works now