microblaze: Fix FDT message in boot_prep_linux()