SceHdmi

SceHdmiForDriver
To find: HdmiSetRgbRangeMode HdmiSetResolution

Note that 3.010.031 FW has not be looked into but seems interesting.