PFA and ω1-free compact spaces