Hello Ken,
I have talked to the ECSC (european customer support center)
from HP in Europe. They said they know this bug and the only
choice for now is to install the driver again and choose the 4Si/MX.
Well, the 4Si is only A4 🙁
Maybe someone else has found an workaround/solution?
Greetings,
Alex