if [ -x /usr/bin/rhgb-client ] && /usr/bin/rhgb-client --ping ; then
  /usr/bin/rhgb-client --quit
  # Insert the following after the line above in /etc/rc.d/rc
  Xorg &
  xmessage -display :0 "The screen will get garbled when you click on Ok.
When it does, press Fn-F4, and then Ctrl-Alt-Backspace."
  kill $!
  wait $!
  Xorg -layout vesa &
  xmessage -display :0 "If you can see this, 
either you pressed Fn-F4 while still in working text mode,
or the BIOS bug (?) is fixed"
  kill $!
  wait $!
fi