Re: [PATCH 4/4] microblaze: add arch_print_bdinfo() implementation