This is a requirement to build optee-os with a Yocto generated SDK. Signed-off-by: Javier Viguera <javier.viguera@digi.com>