Adding root ACPI table printing to main.c