Update sdk1.4.2 opensbi & mainlien opensbi & aon firmware

Signed-off-by: Han Gao <gaohan@iscas.ac.cn>

# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
#
# Date:      Fri Jan 12 22:54:47 2024 +0800
#
# On branch support-mainline
# Your branch is up to date with 'origin/support-mainline'.
#
# Changes to be committed:
#	deleted:    addons/boot/fw_dynamic.bin
#	modified:   addons/boot/light_aon_fpga.bin
#	modified:   debian/changelog
#	modified:   debian/control
#	modified:   debian/rules
#	modified:   debian/th1520-boot-firmware.install
#	new file:   debian/th1520-mainline-opensbi.install
#	new file:   debian/th1520-vendor-opensbi.install
#	new file:   opensbi/fw_dynamic.bin.mainline
#	new file:   opensbi/fw_dynamic.bin.vendor
#
