BoardConfig: update kernel config