Merge changes from topic "multiple-abi-whitelists"

* changes:
  build.sh: add support for ADDITIONAL_KMI_WHITELISTS
  build_abi.sh: use the distributed abi_whitelist from DIST_DIR