Re: [wlug] Linux Kernel Developers Discuss Dropping x32 Support