Windows 7 RC set for May release?