changed linux to fix some errors that prevent boot (wrong kernel name for barebox), added compatible machines, changed commit ID for kernel source to current cfa-3.10-stable commit ID