c6x-IBl: C6457: Updating DDR address