ubuntu-linux-kernel/arch/arm/kernel/reboot.o