cfg/etc/hprofile/profiles/vga: minors fixes