commented not working workaround for Fast TSC boot error