dtrace: Improve DOF section size validation

[markj]

Summary

The loop which validates each DOF section assumes that the section
header is present, so the section size must be at least as large as the
header, otherwise a small OOB access is possible.