Allowing for main() to be divergent in embedded environments

Whoops, I didn’t actually test this before I ran it. Since we have the #![no_main] set in this file as well, it looks like the normal main function type rules don’t apply, or at least it lets us compile this.