This command will prepend a comment tag to the rule for HDMI audio
sudo sed -Ei '/ "0x40300"/s/^/#/' /etc/udev/rules.d/90-mhwd-prime-powermanagement.rules
If you want to add comment tags to the other 2 rules you could change the PCI Class ID number in the sed command to match class ID number for the other rules.
But changing other rules not mentioned in the commit is your responsibility