x86 setup: correct segfault in generation of 32-bit reloc kernel