I know the first option is highlight but that is not what I chose, I chose the third option (every time). That was just a screen shot showing all the options...not the one I chose.It looks like the default boot is with the -tivo kernel. You would need to choose the third option for the kernel choices to boot standard kernel.
I have not tested the tools with the -tivo kernels and am wondering if that is the issue.
Will PM you to start fixing this.
Sent from my iPad using Tapatalk