arm: Assume we have a kernel that supports pci devices
authorAli Saidi <Ali.Saidi@ARM.com>
Wed, 3 Sep 2014 11:43:04 +0000 (07:43 -0400)
committerAli Saidi <Ali.Saidi@ARM.com>
Wed, 3 Sep 2014 11:43:04 +0000 (07:43 -0400)
commit16262a8fc3668d67d5eeb634e9b1a0de418e7162
tree5771a29e8f5784379f39a50e9afc7fb9a8cc2a81
parent1e13f1b074db8bf82601c45c400350be947cdefa
arm: Assume we have a kernel that supports pci devices

Change the default kernel for AArch64 and since it supports PCI devices
remove the hack that made it use CF. Unfortunately, there isn't really
a half-way here and we need to switch. Current users will get an error
message that the kernel isn't found and hopefully go download a new
kernel that supports PCI.
configs/common/FSConfig.py