kaffeh patch

[Kohler Markus]

> This is a multi-part message in MIME format.
> 
> --------------3AE15AC70F4
> Content-Type: text/plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
> 
> Having seen the availability of the BISS AWT I tried to build it on HP
> and have discovered a problem with kaffeh. HP insists that doubles
> really are 8 byte aligned and the constant pool can have them just 4
> byte aligned. My patch to support.c in kaffeh is below. I wonder if this
> problem is elsewhere too (I haven't looked myself yet).