Merge "Upgrade 3.4 kernel images to a88ad78"
tree: 5e7d3d7dea1e9769065026edeae6a5e73df1110c
  1. arm/
  2. arm64/
  3. kernel-toolchain/
  4. mips/
  5. mips64/
  6. x86/
  7. x86_64/
  8. build-kernel.sh