ARM: fix build error in arch/arm/kernel/process.c