if (!early_is_k8_nb(read_pci_config(0, num, 3, 0x00)))
continue;
/* workaround buggy ASROCK BIOS, see bug #6350 */
aper_size = read_pci_config(0, num, 3, 0x94);
if (aper_size >= 0x80) {
aper_size &= 0x7F; //cut every byte beyond the 4G border
write_pci_config(0, num, 3, 0x94, aper_size);
}
iommu_detected = 1;
iommu_aperture = 1;
