arm64: defconfig: Enable some IPMI configs