Leave barebox and return to the calling EFI process
3.10.6. efi_handle_dump - Usage: efi_handle_dump
3.10.8. firmwareload - Program a firmware file into a device