Where can I find guidelines for building a SQL Server machine specifically for DBCC CHECKDB work?
You want disks that are as fast as you can afford.  DBCC CHECKDB is going to be limited by physical IO speed and pretty much nothing else.

That said, you do still need to run DBCC CHECKDB on your production server as you aren't doing physical IO checks on the production server at this point.