We don't know yet why those instructions are used here, the best way forward might just be to support hardfp...