Those files distribured, so they should have the same header as kernel-install itself. Let's fix indentation while at it.