Admiral told me today that PPF doesn't matter to them, doesn't even need to be noted down on the policy as a modification, and thus no change to premium. As such it of course won't be covered under the policy, but it won't invalidate any claims or anything like that.