tree a56d9dfc0af4ff3e8dda42d01e71fa60ded0fab6
parent 0f58c8a80ad0905351f8aafc937c81b34c3a66c0
author Andre Przywara <andre.przywara@arm.com> 1612806048 +0000
committer Andre Przywara <andre.przywara@arm.com> 1612878467 +0000

plat/arm: Remove ARM_LINUX_KERNEL_AS_BL33 relying on RESET_TO_BL31

So far the ARM platform Makefile would require that RESET_TO_BL31 is set
when we ask for the ARM_LINUX_KERNEL_AS_BL33 feature.
There is no real technical reason for that, and the one place in the
code where this was needed has been fixed.

Remove the requirement of those two options to be always enabled
together.
This enables the direct kernel boot feature for the Foundation FVP
(as described in the documentation), which requires a BL1/FIP
combination to boot, so cannot use RESET_TO_BL31.

Change-Id: I6814797b6431b6614d684bab3c5830bfd9481851
Signed-off-by: Andre Przywara <andre.przywara@arm.com>