It could be, but are vendors actually upgrading kernels along with firmware updates? In my experience it's more like, ship 5+ year old kernel and then forget it forever.