DO NOT MERGE

Merge pie-platform-release (PPRL.181205.001, history only) into master

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