TF 700 to Hardslog kernel

Change-Id: I85b94712da2b35a4175976b1d93a571edb2ea197