Re: [opensuse] tickless x86_64?