Dual BIOS/EFI boot install script

Hello,

After the inclusion of needed EFI modules (thanks) I have tested various
setups, and it works great.

Here's a script to deploy an USB key (or other storage) for dual booting on
BIOS or EFI systems. It takes the target and source filename as the
parameters:

https://gist.github.com/lkarlslund/2330250ded87b919bfd043e9b353aac4

./deploy-leaf.sh /dev/sda Bering-uClibc_7.3.1_x86_64_syslinux_vga.tar.gz

There are no warnings / confirmations to protect the chosen target, it will
just get wiped / reformatted.

I'm using Ubuntu to run it - YMMV.


Best regards,

Lars