It's x not x-star :)
First we try x = -P^-1*q. If q=0, we have x=0, voila, problem solved. If q~=0 but ||x|| <= 1, still good. If ||x|| > 1, we then need to proceed to Q3.1c and find x^* that meets the KKT conditions incl. ||x^*|| <= 1.
So when we are working on Q3.1c, we have already ruled out q=0.
Lu