A guide to how the FreeBSD kernel manages the IA32 processors in Protected Mode