Fixed kernel step in setup instructions