HP board shake-up: 4 old members out, 5 new ones in