config MICROBLAZE
    bool
    select DEVICE_TREE # needed by boot.c