dump_extended_fpu() is used nowhere in the kernel; save a few bytes...

Signed-off-by: <arjanv@infradead.org>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>