Update kernel and changes from arco