mach-types: change mach-type to 3838 for compatability with default u-boot