DO NOT MERGE - Merge pi-dev@5234907 into stage-aosp-master

Bug: 120848293
Change-Id: Ie7a84868ce77e737864b356519b9beb97e076786
tree: a8561f3006f133c128034ee9ac5f4b22cece09fe
  1. overlay/
  2. AndroidProducts.mk
  3. BoardConfig.mk
  4. mini_x86.mk