infuse4g: switch kernel branch for now