ARM: add notify_die() support