microblaze: Add a TODO to call board_init_f_mem()