The device documentation for the MSP430x5xx devices says that various different XT2 clock frequencies can be used for USB operation by setting the USB PLL registers. I want to use an XT2 frequency higher than 4 MHz. How can the USB API be set to configure the PLL for a different XT2 frequency?