On Thu, May 31, 2012 at 7:29 PM, Tom Horsley <horsley1953@gmail.com> wrote:

Or for an even bigger hammer fix: "yum -C erase biosdevname"