microblaze: boot: Use cpu_set_pc()