x86: unify printk strings in fault_32|64.c