based on patch from Dmitry Adamushko.

- add missing vfree()
- update debug printks
Signed-off-by: Ingo Molnar <mingo@elte.hu>