RDRAND is probably microcoded, so they should just be able to patch it out. Since they can't be charged with anything malicious, Intel gets off scot-free.