So they applied this gate in the rpi EEPROM, which is closed source.
https://github.com/raspberrypi/rpi-eeprom/issues/761
Who invests a few tokens finding the hardcoded check?
AFAIR the EEPROM mostly uses the VideoCore instruction set.