Fix manual (non-kconfig) build of the following boards, due to