clean JOS for mit6.828