BUG_ON() Conversion in mm/vmalloc.c