Neither attribute overloadable nor enable_if are supported by GCC. Disable the
GCC warning about attributes on function definitions for both of them.
tools: use 64-bit print specifier

Try to repair the ARM Cortex-A15 buildbot by using a more appropriate conversion
specifier.