Finally got it all working. Kernel boots and wifi is working too. Let's do some undervolting. Next step: Integrate some CPU governors.