update ucore_kernel_procinfo.h