JFYI - This is a known issue which has already been reported internally to Engineering and a fix has already been implemented and will be available in a future update. 

As I understood, depending on how out of sync the TSCs, you may experience different behaviors. One option that was suggested that would at least allow the booting (but subsequent crashes may still occur) is by adding tscSyncSkip=TRUE during boot up (SHIFT+O)