tce-load -i compiletc

https://sourceforge.net/projects/gnu-efi/files/gnu-efi-3.0.9.tar.bz2/download

cd gnu-efi-3.0.9

find . -name Makefile -type f -exec sed -i 's/-g -O2//g' {} \;

make CC="gcc -flto -fuse-linker-plugin -mtune=generic -Os -pipe"