Nicer formatting for default kernel files