@jsalisbury,
The reference you give does not seem to have PAE kernels; at least there are no packages with -pae in the name. Did packages got unified 32-bit/PAE/64-bit with 3.12?
@jsalisbury,
The reference you give does not seem to have PAE kernels; at least there are no packages with -pae in the name. Did packages got unified 32-bit/PAE/64-bit with 3.12?