Hello Nick B,
I dont know if you have solve the problem. I am interested in using pwm functionality on the same board. It seems what you need is to implement pwm_api.c in TARGET_LPC54114 folder using driver/fsl_sctimer.h and then include it in cmake list.
If you want, we can work together to patch it.
BR Hao