Ações da Raspberry Pi caem 9% após resultados recordes provocarem realização de lucros