Added the header file for the vmcb data structure