Fix devctl build and hook it up.
Makefile glue for libdevctl.
Fix the ioctl argument.
Fix pci_lookup parsing and change location string to output PCI selector.
Annotate disabled devices.  This is a hack since we don't expose the
flags constants to userland.
Fix DEV_ENABLE for a boot-time disabled device by clearing the hint.