Added the capability to select the operation mode of the VGA update timer.
The realtime mode is enabled by default (patch by Dawn Teschendorf).


git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12550 6c8e4198-a580-4521-a02f-c9ae86df1db9