modify buddy module to support 64-bit system