Just a quick update: I’ve tried all three suggested methods and they all work as expected.
I will do some more hardware changes, now that I have a stable test code. I will experiment especially with frequency changes and inductors values. I’m trying to get as much efficiency as possible.
What is encouraging though is that running the prototype for long time does not generate heat at all. The main power components are cold and the current draw (from the 12V source) swings between 1A and 2.5A.
I will post the latest working code as soon as I get it cleaned up.

Nick