... not kstop_machine.  Add a note that irqs are disabled.
Signed-off-by: NUwe Kleine-König <u.kleine-koenig@pengutronix.de>