ARM: support legalisation of "fptrunc ... to half" operations.