gcc 4.7 doesn't define a few builtins, which we don't use, but the 4.8
headers require.

Declare them so compilation passes.