lguest: clean up lguest_launcher.h