# CONFIG_VFIO_PLATFORM_AMDXGBE_RESET is not set