Kernel: tweaking for building, but currently ICE