ubuntu: switch to proper kernel branch