x86_64: include the "32" dir when targeting 32-bit

* helps with building boot loader with GCC 4.8
Style fixes, build fix with OpenSSL disabled.