micro/u/o kernelSaveDefs/r kernel5