K 10
svn:author
V 6
brucec
K 8
svn:date
V 27
2010-11-21T12:52:33.975241Z
K 7
svn:log
V 240
MFC r215284, r215285:

When rebooting the machine jump to 0xf000:0xfff0 instead of 0xffff:0x0.
This is the same change that was made in rev 1.33 of boot/i386/btx/btx.S.

PR:	i386/91871
Submitted by:	Bjorn Konig <bkoenig at cs.tu-berlin.de>

END