fix bug in set_segment() in src/kernel/memory/kvm.c