Linux kernel 3.0.15 for Mixtile hardfloat