[PATCH 4.2-rc1 v21 5/6] x86/nmi: Use common printk functions