BoardConfig: update kernel config #2