adds fkvm_guest_check_range