K 10
svn:author
V 6
brucec
K 8
svn:date
V 27
2010-11-14T08:25:27.728133Z
K 7
svn:log
V 236
When rebooting the machine jump to 0xf000:fff0 instead of 0xffff:0x0.
This is the same change that was made in rev 1.33 of boot/i386/btx/btx/btx.S

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

END