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