Updated kernel files