add our kernel back