Re: [PATCH] thermal: sandbox: Don't build sandbox thermal driver for sandbox64