[PATCH 6.13 142/241] x86/of: Dont use DTB for SMP setup if ACPI is enabled