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