Hi,
It's not totally clear from your message what you have added but by using the bl654_dvk board it already finishes some steps of this tutorial (which defined a custom board).
Examining the bl654_dvk.dts file it seems to already define a PWM effectively. You may just use that pwm definition in your c source. In the given file it is defined as "pwm0" so I think you can just use it that way. You can create an alias if you want, but if not...
My code to use the device starts with (using pwm0):
#if DT_NODE_HAS_STATUS(DT_ALIAS(pwm0), okay)
#define PWM_DRIVER DT_PWMS_LABEL(DT_ALIAS(pwm0))
#define PWM_CHANNEL DT_PWMS_CHANNEL(DT_ALIAS(pwm0))
#else
#error "Choose supported PWM driver"
#endif
Mark