Swapping CPU manufacturers entirely? I’d just start my kernel config fresh. Pull up the old one next to a new (default ) one and go down line by line. Odds are there are at most a few flags that would need to be changed, but it’s a good chance to reevaluate your previous decisions too.