x86: fix dmi_alloc() to not advance alloc index in case of