intel: Debug output %u vs uint64_t warning fix

Signed-off-by: Keith Packard <keithp@keithp.com>
1 file changed