Re: [Dev] [96boards-internal] 96Boards kernel maintenance...