ARM: add support for kernel mode NEON