This reverts commit 5de6c690d8. That commit broke the build for the affected board as the chibios headers rely on the name of the file matching a ifdef
5de6c690d8