Some baby boomers have made tidy profits selling their large homes and downsizing in retirement.