Reprovisioning bare metal Linux servers with Foreman and IPMI