Kernel for Nook Color devices