detect.py: add a fake ipmi entry only when FAKEIPMI is found in the kernel args