Correct gcc config option on armv7l.