Remove unused header.

Change-Id: Ifda7039be1cbef7add02f19de04141504273a4a1
diff --git a/src/arch/aarch64/hftest/power_mgmt.c b/src/arch/aarch64/hftest/power_mgmt.c
index e9b2c1b..97f0a37 100644
--- a/src/arch/aarch64/hftest/power_mgmt.c
+++ b/src/arch/aarch64/hftest/power_mgmt.c
@@ -16,7 +16,6 @@
 
 #include "hf/arch/vm/power_mgmt.h"
 
-#include "hf/check.h"
 #include "hf/spinlock.h"
 #include "hf/static_assert.h"