Default Resolution is still not set correctly on boot, and specifying it at the ISOLinux boot prompt didn't help. Any suggestions?