I can probably share some links here that finally made me go with an A0604 model after long consideration:
TLDR: The A72 is apparently way more performant and power-efficient than the A53, and in fact the recommended configuration is to pair an A72 with some A53 cores. As always of course, careful with what is compared in those articles, some reference the A72 to an A57 which is not at all the same as an A53. But seeing some of the numbers, and assuming a device like the DevTerm will reduce CPU frequency for power saving when not used, and considering in addition that the most power-hungry part is probably the display anyway, I feel much more comfortable going with the A0604.