support 1.2a boards

Scripts under /etc/kernel assume visionfive2 1.3b for the dtb.

I trivially modified them on my system to handle 1.2a (the board I have), but ideally they'd support both and select the right one as appropriate, or offer a setting.