defconfigs: add vmalloc info

Change-Id: I85e5e1b0b079a8e77b777b6e74611f0a92bebfab