Isolated MOSFET output stage calculations
Yes, your calculations are correct.  However you're limiting the Gate swing on the Mosfet and thus limiting it's operational range.  I'd throw D1 on a parallel output from U2.  Clever idea but not advised.

And yes, the PMOS is backwards, hat tip to @SomeHardwareGuy &amp; @DaveTweed.