[Dev] 96Boards kernel maintenance...