BoardConfig: switch to older kernel source