Re: [PATCH v2 3/3] bootwrapper: Delay switch to Hyp mode until kernel entry