Update kernel to ab/13436313

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