[PATCH 6.12 136/231] x86/of: Dont use DTB for SMP setup if ACPI is enabled