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: 48e30cf63b ("ANDROID: ABI: add another missing symbol to the fips140 symbol list")
Change-Id: I16b20db9b94aa575ee0a31ef114e38d6268892c9
Signed-off-by: Eric Biggers <ebiggers@google.com>