revised kernel configuration description