PCI Decoding Above 4g Enabled and Red Hat Enterprise Linux Workstation

Hi Red Hat Community,

I have a PC with operating system Red Hat Enterprise Linux Workstation Release 6.5, Kernel Linux 2.6.32-431.

I have enough cards installed on the PCI express bus to exceed the 4g decoding limit.

If I enable the BIOS PCI option to go above 4g decoding, Red Hat Linux Workstation does not reboot.

Is there a way for Red Hat Linux Workstation to reboot when PCI decoding is above 4g?

Many thanks,