Linux kernel 3.5 for friendly ARM's tiny 4412 board