Define "OS" builtins for selected machine, and tweak crt0 to exit properly
on real hardware.