[RFC PATCH 3/7] x86, mm: arch_add_dev_memory()