Fix handling of board config files. Treat CONFIG_BOARD like CONFIG_ARCH in the toolchain configuration.
Stop expecting CONFIG_HRT_anything since we aren't baking it into the NuttX config anymore.