I will change the error message for this specific case to mention the missing kernel config option. I cannot add select ZONE_DEVICE in driver Kconfig file because there will be a circular dependency issue. The old or wired kernel config file may select to don't enable HMM or ZONE_DEVICE. Thanks, Philip