kernel/acpi: Add our copyright to two files.
kernel/ale: Fix typo in a comment.