a) As you already know the script mentioned in OP can only work on Generic-legacy (X11), not on Generic (GBM). I'm not aware of a GBM tool to be capable switching resolution.
b) Even on Generic-legacy the device name ("HDMI1") may have changed . Type xrandr to check this.
c) /storage/.config/sleep.d has to be used.