[RFA] Bugfixes on x86-64 target

[Andrew Cagney]

> Index: ChangeLog
> from  Michal Ludvig  <mludvig@suse.cz>
> 
> * x86-64-tdep.c (value.h): Delete.
> 	(gdb_assert.h): Include.
> 	(x86_64_register_convert_to_virtual,
> 	x86_64_register_convert_to_raw ): Add check which lets only
> 	floating-point values to be converted.
> 	(value_push): Delete.
> 	(x86_64_push_arguments): Order of arguments pushed on stack fixed.
> 	(i386_gdbarch_init): Number of register_bytes fixed.
> 
Nice!  I've checked it in (I've also re-indented the file as a separate 
commit).

Andrew