atlas40: change kernel branch