[coreboot] Unable to build futility on 32-bit userspace