Re: [PATCH 4.14 00/24] V4.14 backport of 32-bit arm spectre patches