- flink works, with modprobe flink_axi
- Linux SD config is borked, boot by using SD for u-boot, then boot from
  USB (copy wic to SD and USB)

stuff still in local.conf:

- HDF_BASE and HDF_PATH to .xsa
- YAML_SERIAL_CONSOLE_STDIN = "ps7_uart_1"
- YAML_SERIAL_CONSOLE_STDOUT = "ps7_uart_1"
- CORE_IMAGE_EXTRA_INSTALL += "flinklib flink"

flink.bb in meta-ost needs CB20 specific stuff moved to own recipe to
avoid build errors