Not sure. I noticed several items in the recent 4.12 Mainline Kernel mentioning the 5433. I assume its because the 5433 while 64bit, only had 32bit being used (from what i read)?
I am having a bit of a issue with almost all the current ARM based development boards being in the same power usage / performance. None seem to have gotten past 28nm, while 20nm has been around from end 2014 and we are even on 14nm ( probably too expensive ).
15W bring the 5422 pure in X86 Atom or celeron territory.
I have plans to bring a low power / cheap hosting company ( given the price for power here in Europe ... 25 a 28cent/kWh). And while the Arm system are relative cheap, but also weaker then there x86 counterparts. Makes all the math more difficult :)
The new HC1 is interesting because it lacks the "useless" parts but still not found a solution for a more clean RJ45 solution (that does not involve switchers that take more space then the actual computers :) ) and the cable mess...
Raspberry compute module is also interesting but again... Not a single clean cluster / switching solution. Pine64 has a cluster solution in the works ( Pine64 SoPine Cluster Board ) that looks interesting but no pricing currently.
Decisions, decisions ...