[PATCH 9/9] CI: Test for unmigrated CONFIG symbols in board config.h files