Kernel loading broke again