Placeholder for current of issues:
- MIDGARD_FOR_ANDROID requires mali build as module and/or MALI_PWRSOFT_765=y
- MIDGARD_FOR_LINUX is too outdated to use with Rockchip user drivers
- Error loading Mali driver (see below)
- Many dw_hdmi errors in dmesg
This was a perfectly functioning kernel config only 2 weeks ago with the Rockchip source, it is now unbootable (in fact it did not even build initially, as soon as these updates went live on github)