Fix kernel loading issue