Etienne Carriere 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode 2 vuotta sitten
..
OpteeRpmbPkg 6d9768079c Drivers/OpTee: address cast build warning issue in 32b mode 2 vuotta sitten