firmware/gcc/* host/secret_sauce.py