xen/bootup: allow read_tscp call for Xen PV guests.