Use 4.4.3 gcc for hboot