Remove malloc.h; will do kernel memory first