Simple malloc implementation for the linux kernel