hikey_debian: Update build for 2.5.0 release candidate

Message ID OP-TEE/build@154
State New
Headers show

Message

Victor Chong June 10, 2017, 4 p.m.
# https://github.com/OP-TEE/build/pull/154
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.