sec_debug: Fix building.

Change-Id: I249989c705c0a9bcb62a539f882aa5584f1d483c