configure.ac: combine --Wformat* options into one argument

https://bugs.freedesktop.org/show_bug.cgi?id=59621
efi: read microseconds from boot loader info instead of "ticks" magic