diff --git a/include/kernel.h b/include/kernel.h
index 5ba9d31..ad86c06 100644
--- a/include/kernel.h
+++ b/include/kernel.h
@@ -627,11 +627,12 @@ void        PrepareSystem(FILELOADER_PARAMS* FLOP);
 size_t      ClockTick(void);
 void        Halt(void);
 void        PrepareAVX(void);
+void        AVXStub(void);
 void        PrepareMaskableInterrupts(void);
 void        PreparePowerManagement(void);
 
 /* Hypervisor / Scheduler */
-uint8_t     HypervisorCheck(void);
+uint8_t     CheckForHypervisor(void);
 uint8_t     ReadPerformance(size_t* PerformanceDest);
 size_t      ReadCPUFrequency(size_t* PerformanceDest, uint8_t AvgOrDirect);
 
@@ -665,11 +666,11 @@ void                        SetGDT(DESCRIPTOR_TABLE_POINTER GDTData);
 DESCRIPTOR_TABLE_POINTER    FetchIDT(void);
 void                        SetIDT(DESCRIPTOR_TABLE_POINTER IDTData);
 
-DESCRIPTOR_TABLE_POINTER    FetchLDT(void);
-void                        SetLDT(DESCRIPTOR_TABLE_POINTER LDTData);
+uint16_t                    FetchLDT(void);
+void                        SetLDT(uint16_t LDTData);
 
-DESCRIPTOR_TABLE_POINTER    FetchTSR(void);
-void                        SetTSR(DESCRIPTOR_TABLE_POINTER TSRData);
+uint16_t                    FetchTSR(void);
+void                        SetTSR(uint16_t TSRData);
 
 void InstallGDT(void);
 void InstallIDT(void);
@@ -707,8 +708,9 @@ void ISR16Handler(INTERRUPT_FRAME* Frame); // Math Error / Coprocessor Fault
 void ISR17Handler(EXCEPTION_FRAME* Frame); // Alignment Error
 void ISR18Handler(INTERRUPT_FRAME* Frame); // Machine Check
 void ISR19Handler(INTERRUPT_FRAME* Frame); // SSE Math Error
-void ISR19Handler(INTERRUPT_FRAME* Frame); // Virtualization Exception
-void ISR20Handler(EXCEPTION_FRAME* Frame); // Security Fault
+void ISR20Handler(INTERRUPT_FRAME* Frame); // Virtualization Exception
+void ISR30Handler(EXCEPTION_FRAME* Frame); // Security Fault
+void ReservedISRHandler(INTERRUPT_FRAME* Frame);
 
 /*  ==================== Interrupt Support ==================== */