tce-load -i compiletc efivar-dev popt-dev

wget https://github.com/rhboot/efibootmgr/archive/18/efibootmgr-18.tar.gz

cd efibootmgr-18

edit Make/defaults
prefix	?= /usr/local/
libdir	?= $(prefix)/lib/
CFLAGS	?= 
EFI_LOADER := BOOTX64.EFI

make EFIDIR="/mnt/sdb2/EFI" CC="gcc -flto -mtune=generic -Os -pipe" CXX="g++ -flto -mtune=generic -Os -pipe -fno-exceptions -fno-rtti"

sudo make install EFIDIR="/mnt/sdb2/EFI"