Do I watch the kernel compile, or do I enjoy life? All this because Arch realtime kernels set the system resolution too low.