x86/dmi: fix dmi_alloc() section mismatches