fixing kernel and configuration