Hi,
I guess, that you have modified user_config.h in your lib/ directory. (lib directory is generated during each kernel rebuild, .h files are copied there from various places. You should always modify files on original location)
You should modify it in following dir : config/<your_board>/user_config.h and rebuild psp and bsp libs.
PetrL