linuxboot_dma: avoid guest ABI breakage on gcc vs. clang compilation