Linux work for Am33xx platform