# amd64-efi
./configure --with-platform=efi --target=x86_64
make

# armhf
./configure --target=arm-linux-gnueabihf
make