Update kernel to ab/13436148

Change-Id: Ieec77f5b94800d99e2edebdbc4edf4676c5c5400
5 files changed
tree: f9bd160d224aa7645250473ecc04f8a61b0671af
  1. BUILD.bazel
  2. Kbuild
  3. Makefile
  4. nitrous.c
  5. nitrous.txt