x86: doc: boot.txt: fix the size of the start_sys field