P { MARGIN-BOTTOM: 0px; MARGIN-TOP: 0px }

Heads up,

If you've modified Grub2 settings and ran grub2-mkconfig your system is likely booting the unpatched release kernel 3.10.0-123.el7.

I've been using the following as a workaround.

CKERN=$(grub2-editenv list | grep saved_entry | cut -d'=' -f2) DKERN=$(cat /etc/grub2.cfg | grep ^menuentry | grep "$CKERN" | awk -F"'" '{print $4}') grub2-set-default "${DKERN}"

Bugzilla https://bugzilla.redhat.com/show_bug.cgi?id=1154430

-Nick

--

Nicholas P. Crawford

Senior UNIX Systems Administrator

contractor, General Dynamics Information Technology

NVESD Network Services Branch, US Army

email: Nicholas.Crawford@gdit.com

comm: (703) 704-2299 dsn: (312) 654-2299

cell: (571) 225-1283