target/i86: implement PKS