x86: use brk allocation for DMI