kernel: get memory size