....This totally solves the problem, with no need for the infineon software as described above, and no need for the "series diode".
Just use GaN FETs with a parallel SiC diode !!!
There are even GaN FETs which come in 2-on-a-package which the above driver could easily drive.
What do you think?.......long hail the 500kHz LLC converter running off 400V post PFC bus?