K 10
svn:author
V 8
dumbbell
K 8
svn:date
V 27
2013-09-14T17:17:32.423483Z
K 7
svn:log
V 196
vgapci: Use vga_pci_alloc_resource() to map PCI Expansion ROM

This is cleaner and fixes Video BIOS mapping when the given device isn't
the boot display.

Submitted by:	jhb@
Approved by:	re (kib)

END