x86: add more boot protocol documentation