Some ARM64 server systems support PCIe hotplug, so enable the options
for that.
Signed-off-by: NTimur Tabi <timur@codeaurora.org>
Signed-off-by: NArnd Bergmann <arnd@arndb.de>