[Hafnium] Re: How to test OPTEE+Hafnium with the new Linux kernel?