We don't hit the UEFI bug very often with latest UEFI release. The vexpress-tc2-01 board in the lab needs to be updated to either use latest UEFI binary or update the flashing procedure to flash test UEFI binary from boot tarball similar to vexpress-tc2-benchmark-01 setup( I guess the setup for bootloader testing).
We don't hit the UEFI bug very often with latest UEFI release. The vexpress-tc2-01 board in the lab needs to be updated to either use latest UEFI binary or update the flashing procedure to flash test UEFI binary from boot tarball similar to vexpress- tc2-benchmark- 01 setup( I guess the setup for bootloader testing).