Designing an efficient PSU
You can buck down your rippley output .Any reasonable buck converter will give you low ripple 5VDC .At these voltages and currents there are a lot of solutions .Even a cheap nasty chip will have much lower losses than the linear regulator.A good buck converter should give 90% or better efficiency .