I think frosty is using a different numbering system. the one i will quote is the one in the pics you posted.
which is this
AVIP Connector (solder side of plug)
__________________________________
/24 22 20 18 16 14 12 10 8 6 4 2\
|23 21 19 17 15 13 11 9 7 5 3 1|
that ASCII art did not really work but i think you can get the gist (its ripped off xbox linux)
xbox linux uses a different mode to frosty's vga bios. xbox linux uses mode 1+3 (9-10 and 13-14). frosty uses 2+3 (11-12 and 13-14) which is also the hdtv mode
so it would be easy to make a switch to switch between the modes. just wire 13-14 and put in a single pole switch with one side to pin 9 and the other side to 13 and the middle to pin 10 (gnd)
which is basically what frosty said but with different pins