SlimFast (SlimRom base) kernel