On Tue, Oct 9, 2012 at 11:43 PM, G. Schlisio <g.schlisio at gmx.de> wrote: > hi list, > i am running an arch server (x84_64) inside a virtual private server. > > This might be related to your question. But I am wondering which VPS provider provides a 64-bit kernel.