DO NOT MERGE

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

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