kernel: Fix minor code indentation issue