Carl-Daniel Hailfinger wrote:
This keeps the changes to a minium (and Stefan opposed changing whitespace, printk and comments just for the sake of it).
It's ok to change whitespace when you touch code and clean it up. It's not ok to do indent orgies.
If the machine boots even without the change, we could drop it altogether.
It does not, hence the change.