More information: The machine with SiS video on the motherboard has a BIOS option to change the amount of video RAM. Setting this to 8Mb or 64Mb does not seem to change the behavior. So it does not seem to be related to the amount of video RAM.