GCC backend for videocore 4