What was the command for displaying PCI ID/Device ID under a shell like "lspci" under Linux?