(In reply to Alex Findler from comment #6) > I'll use these instructions. Which remote and baseline should I choose? The linux-4.17.y or linux-4.18.y branch from linux-stable.git .