platin: fix handling of unmapped loop headers during symbolic loop bound transformation