remove_reboot    1049 drivers/firmware/arm_sdei.c 		goto remove_reboot;
remove_reboot    1054 drivers/firmware/arm_sdei.c remove_reboot: