[PATCH 03/12] x86/e820: use correct format characters