[non-critical / cosmetic] Malformed kernel boot parameter inpinebootpro boot script

[DrYak]

While turning on persistent JournalD to solve my problem, I noticed an unrelated warning message in early boot:

PinePhonePro kernel: Malformed early option 'console'

And indeed in the boot.pinephonepro.cmd source code of the boot script:

setenv bootargs loglevel=4 console=tty0 console=ttyS2,1500000 console=${console}

I presume, the initial intent was to do something along the lines of:

setenv console=tty0 console=ttyS2,1500000
setenv bootargs loglevel=4 console=tty0 console=ttyS2,1500000 console=${console}