at91: upgrade to kernel 3.8.7 and use devicetree