kernel-pae from home:ateixeira:xps13 project
Select Your Operating System
Add repository and install manually
For openSUSE Tumbleweed run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:ateixeira:xps13/openSUSE_Tumbleweed/home:ateixeira:xps13.repo zypper refresh zypper install kernel-pae