A chamada do sistema reboot é definida em kernel/reboot.c - procure por SYSCALL_DEFINE4(reboot .
Para sistemas ARM, você provavelmente estará interessado no suporte específico do ARM em
arch/arm/kernel/reboot.c , e talvez em suporte específico à máquina em um dos diretórios arch/arm/mach-… .