[PATCH 4.4 137/268] microblaze: switch to NO_BOOTMEM