BTW, another kernel WARNING before the BUG line is likely a different problem, but maybe a spurious issue. It seems hitting on many others, too: https://bugzilla.redhat.com/show_bug.cgi?id=2048838