Choosing the correct Gate Driver for a MOSFET in a DC-to-DC Converter
I'd simply use a driver like ADP3120 or one of its cousins. This one drives 2 MOSFETs in synchronous rectification mode, which will be a bit more efficient than using a FET and a diode. Considering the low price of this driver, there is really no reason to build a complex circuit for this.

If you want to keep the diode, there are also high-side driver chips.