Interesting, but having them "mentioned" in the source code is not the same as having them actually present on the system... I'm curious to see which is the case.
Are there already functioning hacks to load different ISOs into the system? If yes, then this could be a nice way to run PS1 games with a native HDMI support...