[NAME]
grub-bin2h \- convert a binary file to a C header