[PATCH] ARM: clean up the kernel selection to be consistent with the rest of the code