Split External 5V PSU 4 ways
It sounds like you could use an ordinary PC ATX power supply. The ATX v2.2 has the exact voltage tolerance you specified for the 5V rail. 

You could probably split some of the power directly at the PC PSU since they usually have multiple outputs for 5V. 

Not sure which cable copper area you should use since this depends on which length you need. Maybe check the existing Odroid cable and make a guess. AWG 18 will probably be enough for a 0.5m cable to the Odroid.