Work on changes to get kernel appropriate for odroid