WIP [kernel][psci] stuff

Change-Id: I5c55a04abf2fb268c3793c15a40bb285e663de71
diff --git a/zircon/kernel/dev/psci/psci.cpp b/zircon/kernel/dev/psci/psci.cpp
index 2057b01..f73d5f4 100644
--- a/zircon/kernel/dev/psci/psci.cpp
+++ b/zircon/kernel/dev/psci/psci.cpp
@@ -107,6 +107,10 @@
         dprintf(INFO, "\tPSCI64_CPU_ON %#x\n", result);
         result = psci_get_feature(PSCI64_CPU_OFF);
         dprintf(INFO, "\tPSCI64_CPU_OFF %#x\n", result);
+        result = psci_get_feature(PSCI64_AFFINITY_INFO);
+        dprintf(INFO, "\tPSCI64_AFFINITY_INFO %#x\n", result);
+        result = psci_get_feature(PSCI64_NODE_HW_STATE);
+        dprintf(INFO, "\tPSCI64_NODE_HW_STATE %#x\n", result);
     }
 }