microblaze: switch to NO_BOOTMEM