How to use the IPMI console with a dedicated server