Bug#903543: raspi3-firmware: [PATCH] add configuration options for cmdline.txt

[Gunnar Wolf]

tags 903543 + pending
kthxbye

Fixed in the working tree, will be part of the next firmware upload
(which should be soonish, as a new version was recently made
available)