HSS reports BEU error when booting application from SPI-Flash

[jt3829]

While attempting to boot an application binary from SPI Flash using HSS on a custom board, the beu monitor reports
"beu_monitoring_handler(): Uncorrectable errors: hart 1 - accrued: 0x84027000 value: 0xdead0bad".
Below is a trace of the HSS console output seen before this error is announced. This error is not reported on every power cycle of the board but at least 50% of the time. The application binary does execute as expected when no beu error is asserted.

L2-Scratchpad:  4 ways (512 KiB)
     L2-Cache:  8 ways (1024 KiB)
       L2-LIM:  4 ways (512 KiB)

[12.283792] HSS_MemTestDDRFast(): DDR-Lo size is 32 MiB
[12.290953] HSS_MemTestDDRFast(): DDR-Hi size is 1888 MiB
Press a key to enter CLI, ESC to skip
Timeout in 10 seconds
..........
[22.304418] HSS_TinyCLI_Parser(): CLI boot interrupt timeout
[22.312056] HSS_IHCInit(): Initializing Mi-V IHC
[22.318549] IPI_QueuesInit(): Initializing IPI Queues (6056 bytes @ 0xa0248c8)...
[22.328192] HSS_PMP_Init(): Initializing PMPs
[22.334398] HSS_BootInit(): Initializing Boot Image ...
[22.341559] HSS_BootInit(): Trying to boot via SPI ...
[22.348625] getBootImageFromSpiFlash_(): Preparing to copy from SPI Flash +0x0 to DDR ...
[22.359032] getBootImageFromSpiFlash_(): Attempting to read image header (1632 bytes) ...
[22.370360] copyBootImageToDDR_(): Copying 4968752 bytes to 0xa0000000
[25.302360] tryBootFunction_(): SPI: Boot Image registered ...
[25.310258] HSS_Boot_ValidateImage(): Boot image passed CRC
[25.318088] HSS_Boot_ValidateImage(): Boot image set name: "PolarFire-SoC-HSS::seL4"
[25.328018] HSS_Boot_RestartCore(): called for all harts
[25.335274] HSS_Wdog_MonitorHart(): monitoring U54_1 U54_2 U54_3 U54_4
[25.343867] RunStateMachine(): ipi_poll_service :: Init -> Monitoring
[25.352651] RunStateMachine(): boot_service(u54_1) :: Init -> SetupPMP
[25.361531] RunStateMachine(): boot_service(u54_2) :: Init -> SetupPMP
[25.370411] RunStateMachine(): boot_service(u54_3) :: Init -> SetupPMP
[25.379290] RunStateMachine(): boot_service(u54_4) :: Init -> SetupPMP
[25.388170] RunStateMachine(): beu_service :: init -> monitoring
[25.396477] RunStateMachines(): loop 1 took 31565491 ticks (max 31565491 ticks)
[25.406311] boot_setup_pmp_onEntry(): boot_service(u54_1)::Registering domain "sel4.bin" (hart mask 0x1e)
[25.418524] IPI_Send(): IHC_tx_message_from_hart status 0 with target 1!
[25.432872] RunStateMachine(): boot_service(u54_1) :: SetupPMP -> SetupPMPComplete
[25.450084] IPI_Send(): IHC_tx_message_from_hart status 0 with target 2!
[25.458869] RunStateMachine(): boot_service(u54_2) :: SetupPMP -> SetupPMPComplete
[25.468894] IPI_Send(): IHC_tx_message_from_hart status 0 with target 3!
[25.477678] RunStateMachine(): boot_service(u54_3) :: SetupPMP -> SetupPMPComplete
[25.487703] IPI_Send(): IHC_tx_message_from_hart status 0 with target 4!
[25.496488] RunStateMachine(): boot_service(u54_4) :: SetupPMP -> SetupPMPComplete

[25.506800] RunStateMachines(): loop 2 took 60293929 ticks (max 60293929 ticks)
[25.516634] RunStateMachine(): boot_service(u54_1) :: SetupPMPComplete -> ZeroInit
[25.526659] RunStateMachine(): boot_service(u54_2) :: SetupPMPComplete -> ZeroInit
[25.536685] RunStateMachine(): boot_service(u54_3) :: SetupPMPComplete -> ZeroInit
[25.546710] RunStateMachine(): boot_service(u54_4) :: SetupPMPComplete -> ZeroInit
[25.556736] RunStateMachine(): boot_service(u54_1) :: ZeroInit -> Download
[25.565997] RunStateMachine(): boot_service(u54_2) :: ZeroInit -> Download
[25.575259] RunStateMachine(): boot_service(u54_3) :: ZeroInit -> Download
[25.584520] RunStateMachine(): boot_service(u54_4) :: ZeroInit -> Download
[25.593782] boot_download_chunks_onEntry(): boot_service(u54_1)::Processing boot image: "sel4.bin"
[25.605049] RunStateMachine(): boot_service(u54_2) :: Download -> Idle
[25.613928] RunStateMachine(): boot_service(u54_3) :: Download -> Idle
[25.622808] RunStateMachine(): boot_service(u54_4) :: Download -> Idle
[26.35542] RunStateMachine(): boot_service(u54_1) :: Download -> OpenSBIInit
[26.44994] boot_opensbi_init_handler(): boot_service(u54_1)::u54_2:sbi_init 0x80200000
[26.55115] IPI_Send(): IHC_tx_message_from_hart status 0 with target 2!
[26.63804] boot_opensbi_init_handler(): boot_service(u54_1)::u54_3:sbi_init 0x80200000
[26.73925] IPI_Send(): IHC_tx_message_from_hart status 0 with target 3!
[26.82613] boot_opensbi_init_handler(): boot_service(u54_1)::u54_4:sbi_init 0x80200000
[26.92734] IPI_Send(): IHC_tx_message_from_hart status 0 with target 4!
[26.101423] RunStateMachine(): boot_service(u54_1) :: OpenSBIInit -> Wait
[26.110589] boot_opensbi_init_onExit(): boot_service(u54_1)::u54_1:sbi_init 0x80200000
[26.120988] IPI_Send(): IHC_tx_message_from_hart status 0 with target 1!
[26.136959] boot_wait_onEntry(): boot_service(u54_1)::Checking for IPI ACKs: - -
[26.153607] boot_wait_handler(): boot_service(u54_1)::Checking for IPI ACKs: ACK/IDLE ACK
[26.164014] RunStateMachine(): boot_service(u54_1) :: Wait -> Idle
[26.416359] beu_monitoring_handler(): Uncorrectable errors: hart 1 - accrued: 0x84027000 value: 0xdead0bad**