/boot/cmdline setup moved to rpi-firmware