bootgen: use Python's  format to print nice hex numbers.