fix up maxsem's ssh key

Change-Id: I05646f2d8d565d38edcebb49572963e2cf899750