This is unfortunate, since Linux has supported 32 bit uids since kernel 2.4

Thank you for your response.