Device-tree mismatch with Linux device-tree

[xypron]

The device-tree should be refreshed from Linux, e.g.

Source	property	value
U-Boot	riscv,isa	"rv64imafdc_zba_zbb"
Linux	riscv,isa	"rv64imafdc_h_zicsr_zifencei_zba_zbb_sscofpmf"