Remove ancient SGI-specific code

Change-Id: I32aa353faf8848690e1ae931e958d04aff10c121