Re: [RFC] ARM: add support for kernel-mode NEON intrinsics