thunderX: Fix build errors

Change-Id: Ic604369e29ffd21d0ce49cf7001f7e0069b7f106