Fixed crash - need to save and restore rbx around cpuid, since the compiler may be assuming the stack pointer isn't being modified when filling in %0. I did it around each call to cpuid which isn't strictly necessary, but is definitely future proof. :)

/* Include the SDL main definition header */
#include "SDL_main.h"

#ifdef main
#undef main
int main(int argc, char *argv[])
{
	return(SDL_main(argc, argv));
}
#else
/* Nothing to do on this platform */
#endif