Renamed kernelId to kernelSalt to make it clearer that it's not an unique value (just a premature optimization :-))