Add generic kernel information support

xtoskrnl/includes/kei.h

@@ -21,6 +21,15 @@ XTAPI
 VOID
 KeClearTimer(IN PKTIMER Timer);
 
+XTAPI
+SYSTEM_FIRMWARE_TYPE
+KeGetFirmwareType(VOID);
+
+XTAPI
+XTSTATUS
+KeGetKernelParameter(IN PCWSTR ParameterName,
+                     OUT PCWSTR *Parameter);
+
 XTAPI
 VOID
 KeHaltSystem(VOID);