Rename macro DEBUG to SGX_DEBUG.
This fixes LINT kernel build.
Reported by: lwhsu Sponsored by: DARPA, AFRL