Adum4135: what is the peak output current at 45kHz. datasheet says 4A, AN-1536 7A and CREE use it at 10A (CGD1200HB2P-BM3). Of course it depends on gate capacitance and frequency but is it a limit when the driver saturates and loss in Adum will be to high?