Fix style.

Fix style formatting to match documentation in https://github.com/KnightOS/kernel/blob/master/CONTRIBUTING#L127