Hardware configurations (BIOS, IPMI, switches, etc.) for CERIT-SC infrastructure