rPi with GCC 4.7 is neither firmware nor bare metal. GCC 4.7 is almost 15 years old.