BoardConfigCommon: Support universal kernel building