Claudiu gcc4.8 delay slot sched fix

Reviewed by Joern.