Actually, according to various sources (including http://www.linuxfoundation.org/news-media/blogs/browse/2013/06/hardware-past-present-and-future-0) This is exactly how it's suppose to be done. BIOS handles allocation and passes the os a standard pci interface. When not dealing with mac, this makes OS implementation unnecessary,so long as pci hot-plug exists.