savedcmd_drivers/acpi/built-in.a := rm -f drivers/acpi/built-in.a;  printf "drivers/acpi/%s " tables.o osi.o osl.o utils.o reboot.o nvs.o wakeup.o sleep.o device_sysfs.o device_pm.o proc.o bus.o glue.o scan.o mipi-disco-img.o resource.o acpi_processor.o processor_core.o processor_pdc.o ec.o dock.o pci_root.o pci_link.o pci_irq.o acpi_apd.o acpi_platform.o acpi_pnp.o power.o event.o evged.o sysfs.o property.o debugfs.o acpi_lpat.o acpi_lpit.o prmt.o acpi_pcc.o acpica/built-in.a ac.o button.o fan_core.o fan_attr.o fan_hwmon.o acpi_video.o video_detect.o processor_driver.o processor_thermal.o processor_idle.o processor_throttling.o processor_perflib.o container.o thermal_lib.o thermal.o nhlt.o numa/built-in.a acpi_memhotplug.o ioapic.o battery.o cppc_acpi.o spcr.o pmic/built-in.a dptf/built-in.a x86/built-in.a | xargs ar cDPrST drivers/acpi/built-in.a