Yes, like I wrote in my question, the PS/2 mouse works in de BIOS-setup ans also under other OS. Even in the default loaded kernel it works find.
But the problems starts when I'am compiling myself a new kernel.
George