Re: [arch-general] kernel 3.7.2 -- all is well