Bug#888817: arm64: please enable CONFIG_PCI_TEGRA

[Andre Heider <a.heider@gmail.com>]

Source: linux
Version: 4.14.0-3-arm64
Severity: wishlist

Hi,

this is for the tegra pcie controller, as found on e.g. the jetson tx1: 
https://elinux.org/Jetson_TX1

Thanks,
Andre