[PATCH v2 03/12] x86: Add return-value comment to cpu_jump_to_64bit()