Add instructions for changing of kernel config