kernel01: retire this hardware
    
    This box has been replaced by kernel02 and is no longer needed.
    We will power it off and pull it next time someone is at the DC.
    
    Thanks for your service kernel01!
    
    Signed-off-by: Kevin Fenzi <kevin@scrye.com>