Additional checks in TDF validation to ensure that the IO memory segment offset has been applied to the relevant registers