Quick test with 4.9.2-2 with new arm64 kernel config: boots 4.9.6-3 work old arm64 kernel config: booms
This hints that numerous kernel config changes we did are probably not the reason, but some of the kernel changes between 4.9.2 and 4.9.6. Especially between 4.9.5 and 4.9.6 a bulk of arm64 changes went in. So next logical step is try with 4.9.5 - if that fails, there is only a few potential commits for breakage between 4.9.2 - 4.9.5 - and if succeeds we have a more tedious way to go. Riku
