add_pci() {
echo '** PCI devices:' >&3
if command -v lspci > /dev/null; then
lspci -nnvv >&3
else
echo 'not available' >&3
fi
echo >&3
}
ask_pci() {
true