Re: [stable:PATCH v4.9.309 40/43] arm64: Mitigate spectre style branch history side channels