ARM: add support for kernel mode NEON thanks to faux123