vxWorks boot and zynq fpga load with unaligned address

The first commit permits to boot a vxWorks elf kernel image.
The second to load bitstream from unaligned addresses.