Usually pios_config.h in each board, especially if it's for peripherals that are built-in to the MPU.  If it's something that's an unusual variant or it's enabling/disabling some external pluggable peripheral then it belongs in the makefile.

This one seem like it should be in pios_config.h.