Infuse4g: switch kernel branch

this one is more updated