micro/u/o kernelSaveDefs/r kernel3