Fix TMS320C55x+ segfaults