Changeset 11214:9dc14c8c0bd0
---------------------------
arm: Add support for automatic boot loader selection

Add support for automatically selecting a boot loader that matches the
guest system's kernel. Instead of accepting a single boot loader, the
ArmSystem class now accepts a vector of boot loaders. When
initializing a system, the we now look for the first boot loader with
an architecture that matches the kernel.

This changeset makes it possible to use the same system for both
64-bit and 32-bit kernels.

Tried booting a 32-bit and a 64-bit kernel using a modified VExpress_EMM64 platform. The correct boot loader is automatically selected.