Update cpuid test to use .S file and to check rbc counts directly.

This makes the test more robust. We know that in the no-syscall-buffer case,
exactly two rbcs should be counted per iteration. Using assembly makes the
parts of the test that depend on the exact generated code impervious to
compiler options and other changes.