The arm64 port now runs on servers which use IPMI. This patch enables
relevant core configs to save manually enabling them when testing
mainline.
Signed-off-by: NJohn Garry <john.garry@huawei.com>
[olof: Switched to =m instead of =y]
Signed-off-by: NOlof Johansson <olof@lixom.net>