K 10
svn:author
V 7
rnoland
K 8
svn:date
V 27
2009-02-08T06:04:32.000000Z
K 7
svn:log
V 227
Locate the BIOS BAR via the pci registers if it is available.
Calculate the correct BIOS size as well.  Previously, we just
always used the standard 64k VGA bios entry at 0xc0000.  We still
do that if we don't find a BIOS BAR.

END