Daniel Lang f2498258d4 boot/optee-os: add CPE identifier hai 6 meses
..
3.13.0 4200631ce2 boot/optee-os: use dedicated 3.13.0 patch directory %!s(int64=4) %!d(string=hai) anos
Config.in 0f3791f25f boot/optee-os: add custom version option hai 8 meses
optee-os.hash e30d507cbb boot/optee-os: bump to 4.3.0 hai 1 ano
optee-os.mk f2498258d4 boot/optee-os: add CPE identifier hai 6 meses