WHDLoad doesn't work on OS4.
The way screen promotion works is that NTSC screens are changed to DblNTSC screens and PAL screens are changed to DblPAL screens. In OS4 I think the Dbl modes can replace the 15KHz modes, but in 3.9 the double modes are added alongside the 15KHz modes, meaning WHDLoad can still force a 15KHz screen.
There are a very (very) small number of WHDLoad slaves that support setting Dbl screenmodes, however. Probably less than 4.