Brute force the setting of the kernel.  This code only works for ARM, and should go
away when we get a git-builder for ARM kernels.