vm_arm, trivial: align serial inputs to vm number#40

lsf37 merged 1 commit intoseL4:masterseL4/camkes-vm:masterfrom

chrisguikema:serial_inputchrisguikema/camkes-vm:serial_inputCopy head branch name to clipboard