[PATCH] ipmi: add 32-bit ioctl translations for 64-bit platforms