Add output file parameter to dump_hex() and make it extern

Signed-off-by: Ben Hutchings <bhutchings@solarflare.com>
2 files changed