KASSERTs in alloc_kpages replaced by return NULL