Merge "Add mips64 kernel"
tree: 161a082c6d7b00b3a5981ba1fab102687e788cf0
  1. arm/
  2. arm64/
  3. kernel-toolchain/
  4. mips/
  5. mips64/
  6. x86/
  7. x86_64/
  8. build-kernel.sh