On Wed, Dec 12, 2012 at 01:59:36AM +0100, Alexander Graf wrote: > Another problem with the SSDT is that today it's mostly used for CPU > nodes. So whether it works correctly with device nodes in a > particular OS implementation is an open question. All the PCI hotplug devices are sent via an SSDT in SeaBIOS today. -Kevin