x86, mce: use %ll instead of %L for 64-bit numbers