can't boot kernel 4.x on SX164

[Alex Winbow]

Hi,

	I'm unable to boot kernel 4.2 or 4.4 on SX164. aboot loads the 
kernel and the initrd successfully, then returns to the SRM prompt -- no 
error messages. (I'm using kernel 3.16 at present.)

	Are there any known issues with Linux 4.x over 3.x on alpha, or on 
SX164/EB164 in particular?

                        Thanks,
                        -Alex