Those are "imperial pints", in the US a
pint is 16 fluid onces so nearer to
 464 (I think) grams... 
 "A pint is a pound, the world around." is no longer true.  Not just the 
 
Over here we (used to) say 'A pint of water weighs a pound and a quarter'
  price of beer not being a pound per pint, but the unit
of measure.
 And pluto is no longer a planet. 
No, he's a dog (could not resist).
[...]
  25Kg is definitely in range for a complete
microcomputer, or components of
 a minicomputer.   Or minimal documentation for a system. 
Its about half the weight of many minicomputer bits (I think an RK05 drive is about
50kg for example).
-tony