I replaced the stock kernel from OS 8.1 with the 7.2.2-oth-K1 kernel from PTVUpgrade Universal BootCD Version 11. Unfortunately, the system is now rebooting every few minutes. I think it might have something to do with the wireless network card (TiVo brand), although removing it doesn't seem to stop the rebooting. The log files are attached. Does anyone know how to fix this problem?