Add GPL header to acpi-dsdt-acpi-time-and-alarm.dsl