There is clearly a problem with gc-sections and 32-bit builds. Does not enter kernel_start properly, so it's a linker, alignment or both issue.