Looking for advice on getting started with kernel development professionally