old kernel malloc is dead, no need to mention it anymore