make the uml kernel config compatible with both 32 bit and 64 bit systems