Yeah I think that was another huge complain I had when I started out with an off brand SBC (Odroid C1). I think you had to do stage things to get a kernel to work and to be honest, my days of compiling kernels went out with the 90s. I remember reading years ago that the RPi had kernel integration with mainline oses like Ubuntu, so I wanted to give that a try as a dedicated key store machine and some other stuff.
I’ve got two clusters of nucs currently so they aren’t exactly foreign to me. Just wanted to find something cheaper and lighter to do some dedicated db work on. Sounds like I’ll just get another i5 NUC off eBay.