kernel: switch branches