HP’s board puts leadership back on the agenda