http://tracker.coreboot.org/trac/coreboot/browser/trunk/src/devices/device.c
Line 801. This is very suspicious too. Shouldn't it be returning only
if it is ALREADY enabled?
My log points to only PCI devices getting enabled. Could this be the
root culprit?