Merge "update arm kernel"
tree: db34100b915491775864bb196e0625fad764602c
  1. arm/
  2. mips/
  3. x86/