arm64: switch to Kernel 4.1