ANDROID: ABI: update fips140 symbol list

Recent LTS merges changed the set of symbols used by the fips140 module,
but the symbol list was not correctly updated, so update it now.

Done with:

    BUILD_CONFIG=common/build.config.gki.aarch64.fips140 build/build_abi.sh --update-symbol-list

... and then moving the list from abi_gki_aarch64 to
abi_gki_aarch64_fips140.

Bug: 188620248
Fixes: 48e30cf6 ("ANDROID: ABI: add another missing symbol to the fips140 symbol list")
Change-Id: I16b20db9b94aa575ee0a31ef114e38d6268892c9
Signed-off-by: Eric Biggers <ebiggers@google.com>