Change in coreboot[master]: soc/intel/denverton_ns: Generate ACPI DMAR Table

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/25446 )

Change subject: soc/intel/denverton_ns: Generate ACPI DMAR Table
......................................................................

Patch Set 22:

(1 comment)

https://review.coreboot.org/c/coreboot/+/25446/22/src/soc/intel/denverton_ns... 
File src/soc/intel/denverton_ns/acpi.c:

https://review.coreboot.org/c/coreboot/+/25446/22/src/soc/intel/denverton_ns... 
PS22, Line 279: 	printk(BIOS_DEBUG, "DEFVTBAR:0x%Lx\n", vtbar);
%Lx is non-standard C, use %llx