How to create an auxiliary power supply
Yes, that's probably the only sensible approach. 24W is within the range for a flyback converter or buck converter. You could consider the LTC3703, for example, though there may be better choices.