The initial value of the instruction pointer after processor reset is
not 0xffffff00 but 0xfffffff0. Verified by checking section 10.1 of
"Intel 80386 Reference Programmer's Manual" at:
http://people.freebsd.org/~jhb/386htm/s10_01.htm

PR: docs/48571
Submitted by: Rui Lopes <rui@ruilopes.com>