vboxconfig.h revision 5751bdc08f3aa357f79b463da63515f4a62c37aa