Update kernel and updates from arco