kernel: fix generic_exec_single indentation