sys-kernel/coreos-kernel: enable ipmi support