d802: change kernel config name