fix printk format arguments in memory detection code