[coreboot] Thinkpad SD card controller DMA

[Thomasheidler]

Sounds like disabling the PCIe port of the device is the safest solution. Will switching the value in the devicetree be enough or is that too uncertain?