To clarify up on this.
My suggestion to power the board up using alternative power paths(in this case GPIO) exactly has the point of bypassing the first(and in this case broken) buck converter. It doesnt matter, since as tkaiser rightly summarized thereās a secondary on the board.
My whole reason of asking the OP to do this was my curiosity about whether the whole board was fried or whether we actually got some quality and the board has secondary protections against power surges etc(as in a smoked primary buck converter doesnt kill the entire board but rather has a protection that prevents the rest of the board from getting the spike).
As an addition to satisfying my curiosity this could also help in the rough investigation on the source of the problem that occurred here. The OP states that it went up in smoke when he attached a hdmi to vga converter. This is something that shouldnt ever happen, which leaves me to believe the source of the fault could have either been a short caused by dust et al, a fault in the power supply or maybe even static electricty that got transferred from the op when attaching the adaper, even though I highly doubt that.
If however the board works beyond the known-broken circuitry that would at least hint at an acquittal for the hdmi adapter used.