[Hafnium] Re: How to test Armv8.4 without Hafnium