Hi @jk_rsc
I am very sorry for the delayed response!
I have been trying to replicate your problem with our EVKB and consulting internally for feedback.
The problem lies on data[0] = 0x0000000c, and not 0x0000000d
According to our team, below three settings are valid to make sure that data[0] begins with 0xd
1. SRC->SBMR2[25:24] = 2'b00, SRC->SBMR2[4]=1
2. SRC->SBMR2[25:24] = 2'b10
3. SRC->SBMR2[25:24] = 2'b11, Fuse 0x960[3] = 1
Let me provide more some details about a testing I did.
I tweaked the application's image LUT (bad lut that does not allow image to boot ) from the led_blinky SDK example to make it fail and changed the boot config pin settings to a random value. The bootROM log reveals that data[0] ends always with 0x0000000d
On my test The bootROM will also check for manufacure boot, but failing too.
Test 1 bad LUT, ramdom SW2 boot config to: 0b01000_00000

A first failed attempt was made to boot from FlexSPI NOR too
Test 2 Test 1 bad LUT, ramdom SW2 boot config to: 0b00111_11110

Several first attempts where made to boot from flexspi nand.
Your log from the failed board.

I can also see that BootROM only attempts to boot from Manufacture boot and data[0] end with ends 0x0000000c. I could not replicate this situation.
Then, while my MCU was still into serial downlaoder, I attached to the SWD and manually read the SMBR2, I was able to get the following readout: SBMR2 = 0x0200_0009

Best regards,
Diego