NuttX is confused when it doesn't know what board it's building for - since we don't tell it in the config anymore, we need to pass it a hint.