Is SUSE Linux Enterprise Server 12 compatible with SUSE Linux Enterprise Real Time Extension 11 Service Pack 3? If not how do go about adding the real time extension to SLES 12?