[PATCH] IPMI: reserve I/O ports separately