Updated Kernel config
Use win32loader