kernel/os: fix misleading indentation