add hint on how to run 32bit OS if necessary