[lib] Make a kernel version of region-alloc Make a kernel version of the region-alloc library available to kernel modules. Change-Id: Ia781d6adf9f3b817a5617c641f4c8c2cddac83d5