BoardConfigCommon: Update kernel path