[PATCH] x86_64: Fix compilation with CONFIG_PCI=n / allnoconfig