I agree with Davet's #2.
But as Bryan says it does seem inequitous (is that a word?).
For all other offside offences the PK is given where the player should have been (ie the offside line). If I was king I would apply same principle - PK where the kick occurred.