base/dispatch.c, etc.: Replace inline assembler for the `rdrand' fix.