[PATCH RFC v3 03/27] arm64/fpsimd: Check enable bit for FA64 when saving EFI state