Paging, but kernel image won't boot.