kernel/acpi: Fix indent, also use NULL for pointers (no functional change).
kernel/acpi: Use standard types.
kernel: Fix various indentation issues (no functional change).
kernel/ig_hal: Add missing braces.

In-discussion-with: sephe