Clean up CleanSpec

The device name was still geehrc, but I'll just use PRODUCT_OUT in case we change our device name again and just to make it look cleaner in general.