Fixes for TMS320C55x+ arch