Gummiboot: Fix build on 32-bit Linux