microblaze: Make boot_info static.