void linux is great, champions for still supporting 32-bit