efi/printf: Add 64-bit and 8-bit integer support