Using patches provided with Rebar UEFI module prevents BIOS from functioning on ASRock Z77 OC Formula

System

Motherboard: ASRock Z77 OC Formula
BIOS Version: 2.40
GPU: AMD Radeon 6600 XT
[x] CSM is turned off. Make sure to confirm this in the BIOS and not with GPU-Z or similar since it can be inaccurate
[x] 4G decoding is enabled. Make sure to confirm this in the BIOS and not with GPU-Z or similar since it can be inaccurate
[x] UEFIPatch is applied (see Using UEFIPatch for more information). On some motherboards DSDT Patching is also needed
[x] I have read Common issues (and fixes)

Description

DSDT patching has been applied as per wiki. The following patches appear to prevent this motherboard from booting: PciHostBridge | Replace 16GB MMIO region with complete use of physical address space (Ivy Bridge). PciHostBridge | Remove 4GB limit for PciRootBridgeIo.Mem

The following patches do not appear to cause issues: PciHostBridge | Remove <4GB BAR size limit in SubmitResources (Ivy Bridge) PciBus | Remove <16GB BAR size limit (Ivy Bridge/Haswell) Runtime | Remove 4GB limit for CpuIo2

If I do not patch UEFI, I can get Rebar to work up to 2 GB as expected. Applying PciHostBridge | Replace 16GB MMIO region with complete use of physical address space (Ivy Bridge). with DSDT will POST, enter Windows, and allow RebarState to be set. Attempting to enter BIOS configuration with this patch applied, however, results in a hard lock of the system. The system freezes with "A2" on the screen. PciHostBridge | Remove 4GB limit for PciRootBridgeIo.Mem results in a failed POST if PciHostBridge | Replace 16GB MMIO region with complete use of physical address space (Ivy Bridge) is not applied.

Windows does not show "PCI Bus" under "Large Memory." I saw that this was an issue seen on Haswell systems and wondered if I may need a similar patch.

GPU-Z does show ReBAR and Above 4G Decoding enabled.

This does not appear to be a case of losing display during POST - the BIOS initially shows up and just hangs if I attempt to enter configuration. Trying to use the IGP doesn't fix the problem.

It appears that the patches only cause this failure after turning on Above 4G Decoding. While Above 4G Decoding is disabled, BIOS setup can be entered without issue. I've attached my modification that includes only changes to option visibility (to display Above 4G Decoding and CSM options) and the procedures outlines in the Wiki. DSDT has been modified. All files were injected with MMTool to prevent any pad file issues.

rebarZ77OCF2.zip

DSDT:

                    CreateQWordField (BUF0, \_SB.PCI0._Y0F._LEN, M2LN)  // _LEN: Length
                    CreateQWordField (BUF0, \_SB.PCI0._Y0F._MIN, M2MN)  // _MIN: Minimum Base Address
                    CreateQWordField (BUF0, \_SB.PCI0._Y0F._MAX, M2MX)  // _MAX: Maximum Base Address
                    M2MX = 0xFFFFFFFFF
                    If ((TUUD >= 0x1000))
                    {
                        M2MN = (TUUD << 0x14)
                    }
                    Else
                    {
                        M2MN = 0x0000000100000000
                    }

                    M2LN = (M2MX - M2MN) + One
                }

                Return (BUF0) /* \_SB_.PCI0.BUF0 */

xCuri0 / ReBarUEFI

Using patches provided with Rebar UEFI module prevents BIOS from functioning on ASRock Z77 OC Formula #111