Re: [LAD] Kernel Opinions: .31-rt or .33-rt?