[PATCH 4.0-rc1 v17 5/6] x86/nmi: Use common printk functions