Bug#853170: fails to boot on debian's MP30-AR1 systems [regression]

[Riku Voipio <riku.voipio@iki.fi>]

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