Document the availability of linux32