linux-davinci git: update leopard patch since he have an offical machine ID now :)