inmates: Provide support for 32-bit inmates

Adjust the makefile and provide a 32-bit header for i386 inmates.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>