BoardConfigCommon: update kernel path