Added (incomplete) x86 restricter