Update: Commenter pointed out that I overlooked the current rating on the buck converters I linked, we should be using…