As of WP85/WP75 Release 16, all WP modules support the MT7697 based WiFi
on the mangOH Red board and thus it is no longer necessary to
distinguish between the modules when deciding what is included in the
mangOH.sdef.