kernel/include/config/PCI_SYSCALL