Re: [PATCH 1/3] arm64: adjust el0_sync so that a function can be called