I agree, that if the product needs something like Tcp/Ip (aka ethernet) or bluetooth etc then those pics are definitley suboptimal.
But, if it will be stand.alone power supply, the those pics can do a quite well job.
I admit, I have not checked what kind Soc-ARM.s there are available. back in days (not so many years ago) the 32-bit cores would definitely have been too much overkill to any power supply.
For the reference (and related to my own Fujtsu thread), is there any particular family of Arm chips you'd recommend to get a closer look? I know there are n+1 variants from all new companies, but if we try to limit the list to those avaible at hobbyist friendly parts and devtools, open documentation (no NDA or registration) and honest Erratas.