ARM Trusted Firmware and UEFI for FVP models