Random compiler errors on SYSTEM_THREAD(ENABLED);

[jvanier]

Sorry, I don’t think there’s a way to change the firmware selection in Dev or CLI. Try a couple times. Some of the build server work correctly.

@Dave is aware of this issue.