Some updates:
HDMI DSDT patch fix
ssdtPRGen.sh 13.5