Rockpi 4B PWM Overlay Causes the HDMI port to stop

After following the instructions here: https://wiki.radxa.com/Rockpi4/dev/libmraa

I enabled PWM0/1 in the .conf file, and now on reboot, the HDMI port no longer sends a signal to the monitor. Anyone have experience with this?