kosagi-fpga-kernel: Almost have it working