Clean kernel from unsupported platforms