hmm been a while, but next step after might have distro kernel.. maybe @Matt or @RoldanLT or @hungphutho have a better memory ? I think that it was a "custom" config option, then that had an option (I think) to use the default kernel - which I assume...