Apparently that is the more official way to get numbers without $ in inline
assembly
Signed-off-by: NAndi Kleen <ak@suse.de>