updated with kernel replacement instructions