According to elinux, I should be able to disable the rainbow splash screen by setting this option in the
disable_splashif set to 1, avoids the rainbow splash screen on boot
cmdline.txt looks like this:
dwc_otg.lpm_enable=0 console=ttyAMA0,115200 console=tty3 loglevel=1 root=/dev/mmcblk0p6 rootfstype=ext4 elevator=deadline rootwait quiet logo.nologo disable_splash=1
However, I still see the rainbow splash screen! I am using the latest Raspbian from NOOBS 1.3.9.
Why does that option not work?