building linux kernel module using DKMS with Makefile in a sub directory

Question

I am trying to make a dkms archlinux package for haxm kernel module (https://github.com/intel/haxm). The Makefile for the module is in platforms/linux and the code inside it