Use TCB to include Cortex-M firmware

[vix]

Thanks @hfranco.tx

I missed one customization to u-boot-initial-env-sd:

• fdt_high=0xffffffffffffffff
  as you explained here.