tree 5b15a12ea7928f2842b5449a13662877c7925853
parent 26d16527152f6ed93f580c26fb5ead3bdb4117f5
author Jonathan Zhang <jonzhang@fb.com> 1602178505 -0700
committer Philipp Deppenwiese <zaolin.daisuki@gmail.com> 1602260683 +0000

soc/intel/xeon_sp/cpx: skip DRHD generation for non-PCIe stack

Without skipping of DRHD generation for non-PCIe stack, the OS
kernel detects incorrect DMAR table with following messages:
[    0.561817] Your BIOS is broken; DMAR reported at address 0

Signed-off-by: Jonathan Zhang <jonzhang@fb.com>
Change-Id: I098605daf12a264f390613581427ec722afcddaf
Reviewed-on: https://review.coreboot.org/c/coreboot/+/45887
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>