Fix for broken vmalloc.py and print the memory mapped region allocated by Vmalloc Change-Id: Ib8407ee66b07b20251b43ef0ab10692f3bf924dc