gcc: Remove obsolete ada patch