docu: point to working kernel config