Add format specifier support to abort() to make it easier to produce
useful error messages.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>