info: Improve translation of OS type

Instead of having a single translation using a
printf-formatted string, hardcode the 32- and
64-bit variants of the OS type to avoid any
translation problems.

https://bugzilla.gnome.org/show_bug.cgi?id=770593