Variables in driverkit/i386