Hello.
I have about 15 RPI4s and I tested pieeprom-2019-09-25.bin.
All boots to login prompt (eg. DHCP, TFTP, NFS seems to be OK - firmware+kernel from rpi-update) but about 50% of RPI4 have VideoCore blocked ("vcgencmd" hung).
# ### DMESG from OK
grep bcm2835 dmesg_o
[ 0.000000] Kernel command line: coherent_pool=1M 8250.nr_uarts=1 cma=64M cma=256M video=HDMI-A-1:1280x1024M@60,margin_left=0,margin_right=0,margin_top=0,margin_bottom=0 smsc95xx.macaddr=DC:A6:32:0B:63:09 vc_mem.mem_base=0x3ec00000 vc_mem.mem_size=0x40000000 dwc_otg.lpm_enable=0 console=ttyAMA0,115200 console=tty1 root=/dev/nfs nfsroot=10.199.100.21:/nfs/rootfs,vers=3,nolock ro ip=dhcp elevator=deadline rootwait logo.nologo systemd.show_status=no bcm2835_wdt.nowayout=1 bcm2835_wdt.heartbeat=10
[ 0.034134] bcm2835-mbox fe00b880.mailbox: mailbox enabled
[ 0.069387] bcm2835-dma fe007000.dma: DMA legacy API manager at (ptrval), dmachans=0x1
[ 0.326814] gpiomem-bcm2835 fe200000.gpiomem: Initialised: Registers at 0xfe200000
[ 0.960963] bcm2835-wdt bcm2835-wdt: Broadcom BCM2835 watchdog timer
[ 0.962895] bcm2835-cpufreq: min=600000 max=1500000
[ 1.262263] bcm2835-power bcm2835-power: Broadcom BCM2835 power domains driver
[ 10.548433] bcm2835_vc_sm_cma_probe: Videocore shared memory driver
[ 10.563911] bcm2835_mmal_vchiq: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.573834] bcm2835_codec: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.602303] bcm2835-codec bcm2835-codec: Device registered as /dev/video10
[ 10.602338] bcm2835-codec bcm2835-codec: Loaded V4L2 decode
[ 10.613746] bcm2835-codec bcm2835-codec: Device registered as /dev/video11
[ 10.613788] bcm2835-codec bcm2835-codec: Loaded V4L2 encode
[ 10.621454] bcm2835-codec bcm2835-codec: Device registered as /dev/video12
[ 10.621487] bcm2835-codec bcm2835-codec: Loaded V4L2 isp
[ 10.626609] bcm2835_v4l2: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.849370] snd_bcm2835: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.859843] bcm2835_audio soc:audio: card created with 8 channels
# ### DMESG from hung
grep bcm2835 dmesg_e
[ 0.000000] Kernel command line: coherent_pool=1M 8250.nr_uarts=1 cma=64M cma=256M video=HDMI-A-1:1280x1024M@60,margin_left=0,margin_right=0,margin_top=0,margin_bottom=0 smsc95xx.macaddr=DC:A6:32:0B:66:E3 vc_mem.mem_base=0x3ec00000 vc_mem.mem_size=0x40000000 dwc_otg.lpm_enable=0 console=ttyAMA0,115200 console=tty1 root=/dev/nfs nfsroot=10.199.100.21:/nfs/rootfs,vers=3,nolock ro ip=dhcp elevator=deadline rootwait logo.nologo systemd.show_status=no bcm2835_wdt.nowayout=1 bcm2835_wdt.heartbeat=10
[ 0.034189] bcm2835-mbox fe00b880.mailbox: mailbox enabled
[ 0.069679] bcm2835-dma fe007000.dma: DMA legacy API manager at (ptrval), dmachans=0x1
[ 0.326883] gpiomem-bcm2835 fe200000.gpiomem: Initialised: Registers at 0xfe200000
[ 0.960830] bcm2835-wdt bcm2835-wdt: Broadcom BCM2835 watchdog timer
[ 0.962780] bcm2835-cpufreq: min=600000 max=1500000
[ 1.280745] bcm2835-power bcm2835-power: Broadcom BCM2835 power domains driver
[ 10.525541] bcm2835_vc_sm_cma_probe: Videocore shared memory driver
[ 10.607926] bcm2835_mmal_vchiq: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.643553] bcm2835_v4l2: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.643558] bcm2835_codec: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.655302] bcm2835-codec bcm2835-codec: Device registered as /dev/video10
[ 10.655339] bcm2835-codec bcm2835-codec: Loaded V4L2 decode
[ 10.933601] snd_bcm2835: module is from the staging directory, the quality is unknown, you have been warned.
[ 10.964786] bcm2835_audio soc:audio: card created with 8 channels
[ 13.671798] bcm2835_mmal_vchiq: timed out waiting for sync completion
[ 16.711764] bcm2835_mmal_vchiq: timed out waiting for sync completion