[PATCH 3/5] vexpress64: Clean up BASE_FVP boot configuration