Re: [PATCH] ARM: add support for kernel mode NEON/VFP