based on patch from Dmitry Adamushko.

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