Linux kernel with Milkymist support patches