avr32/m68k/microblaze/nds32/nios2/openrisc/sh/sparc: fix do_bootm_linux