Is HPE ditching OpenStack? Company laying off a number of developers