Ha, I didn't know that. I knew that the VGA video RAM is banked (which makes sense since there's only a 64k-long "factory default" region defined and used by the VGA standard) and, obviously, that you cannot switch to a VGA mode unless you want to ruin the data stored there, but I though that...