No problem with that. They are easily updated, both on Peppermint and on Void. My annoyance is with my daughter's Bodhi system

... Bodhi doesn't update kernels in between releases, so every two days or so I'm refreshing the packages and intalling new kernels on her laptop through Synaptic. Not difficult, just borring!
EDIT: Maybe this could actually be automated using a script to fetch the latest kernel from the Ubuntu repos instead?! Probably, worth looking into it...