Additions to instructions re kernel config