BoardConfig: update kernel configs