fix gcc 6 build for arm-trusted-firmware