Arch Linux kernel patched for the Dell XPS13 Ultrabook