I think it's very important NOW to follow the ALPHA patches to the kernel. As Linus says, pl15 is frozen with respect to new enhancements, just bug fixes now, and we want those. I know that pl15b works better on my machine than the standard pl15. --erik