kernel_adapter defined_value methods incorrectly flip the semantics of user_specified

[Eyal Rozenberg]

kernel_adapter::get_defined_value currently uses the finalized value only if user_specified is true rather than if it is false. Same for has_defined_value.