Add URL to Rafal's demonstration of where GCC is getting code wrong on
AMD64.