Fix up p700 mk

Change-Id: I4d1b71dceb9ce1746ebe4c08a7e5f96980e1167d