The 5400R is known in Airwave as an ArubaOS switch. The list you show, I think it is from the group firmware page as it looks different than the generic firmware upgrade page, shows only HPE Comware switches.
Do you have your 5400R switches in that group? And under the group Basic tab, have you enabled the Aruba OS Switches (Show device settings for...)?