machinehead: kernel compilation