Merge Android Pie into master

Bug: 112104996
Change-Id: I006f261e2c25748a20de74d45d37c8846dc5223f
tree: 82723d02f6826fa1dc435345b555be5d6850cca8
  1. AndroidProducts.mk
  2. BoardConfig.mk
  3. mini_arm64.mk