Does that mean that the ARM processors in the writeup are not satisfying IEEE 754?

I don't know who is down voting you. AFAIK IEEE 754:2008 does require support for subnormals. You can optionally have modes that flush them to zero, but you must support subnormals.

I haven't done any work on this stuff since 2019, so my memory may be hazy.