FYI: https://github.com/ARM-software/arm-trusted-firmware/pull/1813#issuecomment-542124926.