c6x-IBL: C6457: Adding a config header file for C6457