a40e1473dc
Since not all boards support double fp, all board specific .mk files are affected too.
Since not all boards support double fp, all board specific .mk files are affected too.