[amd64][kernel] きちんとしたメモリ管理