x86, mce: rename mce_notify_user to mce_notify_irq