Kernel: RUBIK r40