Backport bootcounter and RPi changes for v2021pre
Cherry-picked changes from v2022dev0:
- set the default U-Boot bootcounter (see T7483
- add target image build for Raspberry Pi
- fix UART output for RPi images
- increase CMA for RPi
Cherry-picked changes from v2022dev0: