Added default linux kernel config