Re: [PATCH 4.4 00/18] V4.4 backport of 32-bit arm spectre patches