I'm facing the same issue on Dell R510 with up to date firmware. Workaround posted by Joachim Braun <joachim.braun at sysoft.de>'s worked > dom0_max_vcpus=4 dom0_vcpus_pin Best regards bodik