Using vmalloc in device driver code