x86: fix issue #717
1 file changed