Does anyone know what causes a "Cannot boot kernel" error when booting the tivo (DSR 6000). The tivo has 2 drives and 25xtreme. What do I do to correct this error?