https://www.raspberrypi.com/documentation/computers/configuration.html#kernel-command-line-cmdline-txt