Merge pull request #1413 from grandpaul/paulliu-rpi3-0

rpi3: BL32 optee support