navPrint_PCI_GI() prints the values of a pci_gi_t struct, but for the embedded
user_ops_t substruct it just prints the first 32 bytes by pointer type punning.
Given that the latter is a large struct with members of system-dependent sizes
the result of this operation is often enough just a random value, so drop
printing the value altogether.

src/nav_print.c:39:3: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]