[PD] Some confusion about linux amd64-64 and linux amd64-32 in deken, and what are all the possible variations?