ARM trusted firmware for pine64.
