Enable PWM6 and PWM7_IR

I have enabled other hardware pwm pins but there is no overlay .dtbo files for either pwm6 or 7

How do i do this? Do i need to compile a custom overlay? How would i do this?

The latest debian has these overlay already. Check using the rsetup…or here it is: