acpi.4: Fix typo, Diabling -> Disabling
acpi.4: Remove some unneeded commas, too.
vkernel64 - Add newline to the end of options files.

Spotted by: swildner