And this basically gets us to EF Navigation Propeties with LINQ.

  users
    .Where( user => user.name == "whatever")
    .Select( user => new
    {
      v = user.home_server.OS_version .version,
      obsolete = user.home_server.OS_version.obsolete
    })