Marcelo,

   the following patch removes a double semicolon in 
arch/i386/mm/fault.c for kernel 2.4.25-rc2.

Stephane Ouellette