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