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