tce-load -i compiletc

wget https://sourceforge.net/projects/gnu-efi/files/gnu-efi-3.0.18.tar.bz2

cd gnu-efi-3.0.18

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

make CC="gcc -mtune=generic -Os -pipe" [0m 5.43s]

[-flto fails]

sudo make CC="gcc -mtune=generic -Os -pipe" install