Re: [PATCH 3.18 093/185] microblaze: switch to NO_BOOTMEM