Something else must also be wrong, because it does not work for me. I could see that the cmdline.txt was corrupt with something that looked like a binary file. I replaced it with the contents that you provided. I have a Raspberry Pi 3+ and it gets stuck with the large “rainbow box” at boot.
Further, I can say that all works fine with Rasbian on the same device and same SD-card, so I know that all hardware is OK.
As a side-note, I find it VERY strange that the official image does not get fixed if the corrupted cmdline.txt is a known issue??
UPDATE: I got it working by replacing all .dtd and .elf files with working versions from Rasbian. It’s pretty obvious that this official release needs to be fixed!
