Troubleshooting PCIe devices with a UEFI Boot-Stick