Simplifies use of cpu_reset_interrupt() et al.
Signed-off-by: NAndreas Färber <afaerber@suse.de>