new patches to add logibone_r1 support in the kernel