NXP’s market thud doesn’t bode well for rival IPO